邏輯乃是一門研究推論結構的形式科學，著眼於論證中前提與結論之間的形式關係，一方面以評判論證的正確與否（演繹論證的有效性），另一方面對於有效論證可藉由邏輯規則與證明方法，從前提形式推演出結論。本門課將介紹論證的基本概念、邏輯規則、以及論證的檢驗與證明，以引導學習者進入當代邏輯，內容將包括命題邏輯與述詞邏輯兩大部份。本門課第二部份將介紹歸納邏輯，包括枚舉歸納法、最佳解釋推論、類比推論，以及其他類型的推論，例如因果推論及米爾五法。另外，門課也將解說一些關於初階邏輯的哲學議題。